abstraction of the behaviour of an object that consists of a subset of the interactions of that object together with a set of constraints on when they may occur